<?php

$toc = array(
	'@users' => 'Users',
	'@users/roles' => 'Roles',
	'extensions' => 'Authoring extensions',
);

$extensions = array(
	'html' => 'html',
	'data' => 'data',
);


?>
<h2>Toc</h2>
<ul><?php foreach ($toc as $url => $label) { ?>
	<li><a href="<?php echo $this->url($url); ?>"><?php echo htmlspecialchars($label); ?></a></li>
<?php } ?></ul>
<h2>Extensions</h2>
<ul><?php foreach ($extensions as $url => $label) { ?>
	<li><a href="<?php echo $this->url('/docs/'.$url); ?>"><?php echo htmlspecialchars($label); ?></a></li>
<?php } ?></ul>